if (RS1 != RS2)
  set_pc(BRANCH_TARGET);
